snippet Agda Gitignore Template
abbr    Agda
        ### Agda ###
        *.agdai
        ${0}
